A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Synthesis of yolk-shell Bi2O3@TiO2 submicrospheres with enhanced potassium storage

Science China Chemistry - Due to their enormous potential for large-scale energy storage, rechargeable potassium-ion batteries have been widely researched and developed. However, the drastic volume...     

加强型Bi-2212超导股线有限元拉伸性能分析

为探究加强型Bi-2212超导股线的力学性能以及不锈钢包带对超导股线力学性能的影响，运用Ansys软件建立加强型Bi-2212超导股线的三维模型，采用有限元分析方法，对其机械结构进行仿真，模拟高温高压热处理后轴向受拉形变量和应力应变分布情况。仿真结果显示，在同样施加100 N拉力的情况下，与超导原线（Bi-2212超导线）相比，密绕Ni₈₀Cr₂₀包带后的加强型Bi-2212超导股线轴向受拉形变程度减小，约10%;应力应变均降低，约30%。采用Ni₈₀Cr₂₀作为外包带制成的加强型Bi-2212超导股线力学性能显著，是未来超导线发展方向之一。     

Asymptotic Behavior of Least Energy Solutions for a Fractional Laplacian Eigenvalue Problem on ℝN

Acta Mathematica Sinica, English Series - We are interested in the existence and asymptotic behavior for the least energy solutions of the following fractional eigenvalue problem $$\left({\rm{P}}...     

Visible-light-mediated external-reductant-free reductive cross coupling of benzylammonium salts with (hetero)aryl nitriles

Herein we report a novel visible-light-mediated external reductant-free reductive cross coupling for the construction of C sp~2–C sp~3 bonds. A variety of benzylammonium salts underwent selective coupling with(hetero)aryl nitriles to deliver important diarylmethanes under mild reaction conditions. Importantly, photocatalysts can be omitted for many cases, which might involve the electron donor acceptor(EDA) complex. Mechanistic studies indicated benzylic radicals might be involved as the key intermediates. Moreover, the in situ generated NMe_3 via cleavage of C–N bond in ammonium salts acts as the electron donor,thus avoiding the use of external-reductant.     

Differences of thermal decomposition behaviors and combustion properties between CL-20-based propellants and HMX-based solid propellants

Journal of Thermal Analysis and Calorimetry - Differences of thermal decomposition characteristics and combustion properties between CL-20-based propellants and HMX-based propellants were...     

Three-Party Semi-Quantum Key Agreement Protocol

International Journal of Theoretical Physics - A semi-quantum key agreement protocol is proposed to allow one quantum participant and two classical ones to negotiate the final shared secret key...     

A metabolically engineered spin-labeling approach for studying glycans on cells

Metabolic glycan engineering (MGE) coupled with nitroxide spin-labeling (SL) was utilized to investigate the heterogeneous environment of cell surface glycans in select cancer and normal cells. This approach exploited the incorporation of azides into cell surface glycans followed by a click reaction with a new nitroxide spin label. Both sialic acid and N-acetylglucosamine (GlcNAc) were targeted for spin labelling. Although each of these moieties experiences a diverse and heterogeneous glycan environment, their EPR spectra and hence mobility are both characterized as a linear combination of two distinct spectra where one component reflects a highly mobile or uncrowded micro-environment with the second component reflecting more restricted motion, reflective of increased crowding and packing within the glycocalyx. What differs among the spectra of the targeted glycans is the relative percentage of each component, with sialic acid moieties experiencing on average an ∼80% less crowded environment, where conversely GlcNAc/GalNAz labeled sites reported on average a ∼50% more crowded environment. These distinct environments are consistent with the organization of sugar moieties within cellular glycans where some residues occur close to the cell membrane/protein backbone (i.e. more restricted) and others are more terminal in the glycan (i.e. more mobile). Strikingly, different cell lines displayed varied relative populations of these two components, suggesting distinctive glycan packing, organization, and composition of different cells. This work demonstrates the capability of SDSL EPR to be a broadly useful tool for studying glycans on cells, and interpretation of the results provides insights for distinguishing the differences and changes in the local organization and heterogeneity of the cellular glycocalyx.

Metabolic glycan engineering (MGE) coupled with nitroxide spin-labeling (SL) was utilized to investigate the heterogeneous environment of cell surface glycans in select cancer and normal cells.     

An improved evaluation of the neutron background in the PandaX-Ⅱ experiment

In dark matter direct detection experiments,neutron is a serious source of background,which can mimic the dark matter-nucleus scattering signals.In this paper,we present an improved evaluation of the neutron background in the PandaX-II dark matter experiment by a novel approach.Instead of fully relying on the Monte Carlo simulation,the overall neutron background is determined from the neutron-induced high energy signals in the data.In addition,the probability of producing a dark-matter-like background per neutron is evaluated with a complete Monte Carlo generator,where the correlated emission of neutron(s)andγ(s)in the(α,n)reactions and spontaneous fissions is taken into consideration.With this method,the neutron backgrounds in the Run 9(26-ton-day)and Run 10(28-ton-day)data sets of PandaX-II are estimated to be(0.66±0.24)and(0.47±0.25)events,respectively.     

Tolerance factor and phase stability of the garnet structure. Corrigendum

An error in an equation in the paper by Song et al. [ Acta Cryst. (2019), C 75 , 1353–1358 ] is corrected.